The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...